Search results for "predicate logic"
showing 10 items of 170 documents
An Extension of the DgLARS Method to High-Dimensional Relative Risk Regression Models
2020
In recent years, clinical studies, where patients are routinely screened for many genomic features, are becoming more common. The general aim of such studies is to find genomic signatures useful for treatment decisions and the development of new treatments. However, genomic data are typically noisy and high dimensional, not rarely outstripping the number of patients included in the study. For this reason, sparse estimators are usually used in the study of high-dimensional survival data. In this paper, we propose an extension of the differential geometric least angle regression method to high-dimensional relative risk regression models.
Uncertainty measures—Problems concerning additivity
2009
Additivity of an uncertainty measure on an MV-algebra has a clear meaning. If the divisibility is dropped, we come up to a so-called Girard algebra. There we discuss strong resp. weak additivity based on so-called divisible disjoint unions resp. on additivity for all sub-MV-algebras. We obtain a description of those extensions from additive measures on an MV-algebra to the canonical Girard algebra extension of pairs which are strongly additive and valuation measures. Finally, we prove the non-existence of strongly additive measure extensions, if the underlying MV-algebra is a finite chain with more than two non-trivial elements.
Process specification and verification
1996
Graph grammars provide a very convenient specification tool for distributed systems of processes. This paper addresses the problem how properties of such specifications can be proven. It shows a connection between algebraic graph rewrite rules and temporal (trace) logic via the graph expressions of [2]. Statements concerning the global behavior can be checked by local reasoning.
ComPWA: A common amplitude analysis framework for PANDA
2014
A large part of the physics program of the PANDA experiment at FAIR deals with the search for new conventional and exotic hadronic states like e.g. hybrids and glueballs. For many analyses PANDA will need an amplitude analysis, e.g. a partial wave analysis (PWA), to identify possible candidates and for the classification of known states. Therefore, a new, agile and efficient amplitude analysis framework ComPWA is under development. It is modularized to provide easy extension with models and formalisms as well as fitting of multiple datasets, even from different experiments. Experience from existing PWA programs was used to fix the requirements of the framework and to prevent it from restric…
Approximate treatment of higher excitations in coupled-cluster theory. II. Extension to general single-determinant reference functions and improved a…
2008
The theory and implementation of approximate coupled-cluster (CC), in particular approximate CC singles, doubles, triples, and quadruples methods, are discussed for general single-determinant reference functions. While the extension of iterative approximate models to the non-Hartree-Fock case is straightforward, the generalization of perturbative approaches is not trivial. In contrast to the corresponding perturbative triples methods, there are additional terms required for non-Hartree-Fock reference functions, and there are several possibilities to derive approximations to these terms. As it turns out impossible to develop an approach that is consistent with the canonical Hartree-Fock-base…
Relations among Gauge and Pettis integrals for cwk(X)-valued multifunctions
2019
The aim of this paper is to study relationships among "gauge integrals" (Henstock, Mc Shane, Birkhoff) and Pettis integral of multifunctions whose values are weakly compact and convex subsets of a general Banach space, not necessarily separable. For this purpose we prove the existence of variationally Henstock integrable selections for variationally Henstock integrable multifunctions. Using this and other known results concerning the existence of selections integrable in the same sense as the corresponding multifunctions, we obtain three decomposition theorems. As applications of such decompositions, we deduce characterizations of Henstock and ${\mathcal H}$ integrable multifunctions, toget…
Pseudoscalar decays into lepton pairs from rational approximants
2016
The pseudoscalar decays into lepton pairs P! ‘‘ are analyzed with the machinery of Canterbury approximants, an extension of Pade approximants to bivariate functions. This framework provides an ideal model-independent approach to implement all our knowledge of the pseudoscalar transition form factors driving these decays, can be used for data analysis, and allows to include experimental data and theoretical constraints in an easy way, and determine a systematic error. We find that previous theoretical estimates for these branching ratios have underestimated their theoretical uncertainties. From our updated results, the existing experimental discrepancies for p 0 ! e + e and h! m + m channels…
THE CAUCHY DUAL AND 2-ISOMETRIC LIFTINGS OF CONCAVE OPERATORS
2018
We present some 2-isometric lifting and extension results for Hilbert space concave operators. For a special class of concave operators we study their Cauchy dual operators and discuss conditions under which these operators are subnormal. In particular, the quasinormality of compressions of such operators is studied.
Weyl's Theorems and Extensions of Bounded Linear Operators
2012
A bounded operator $T\in L(X)$, $X$ a Banach space, is said to satisfy Weyl's theorem if the set of all spectral points that do not belong to the Weyl spectrum coincides with the set of all isolated points of the spectrum which are eigenvalues and having finite multiplicity. In this article we give sufficient conditions for which Weyl's theorem for an extension $\overline T$ of $T$ (respectively, for $T$) entails that Weyl's theorem holds for $T$ (respectively, for $\overline T$).
Remark on integrable Hamiltonian systems
1980
An extension ton degrees of freedom of the fact is established that forn=1 the time and the energy constant are canonically conjugate variables. This extension is useful in some cases to get action-angle variables from the general solution of a given integrable Hamiltonian system. As an example the Delaunay variables are proved to be canonical.